Transitive closure - PDFSEARCH.IO - Document Search Engine

Transitive closure
Results: 48

#	Item
11	TRANSITIVE CLOSURE AND RELATED SEMIRING PROPERTIES VIA ELIMINANTS S. Kamal Abdali∗ Computer Science and Engineering Department Univesity of Petroleum and Minerals Dhahran, Saudi Arabia Add to Reading List Source URL: geomete.com Language: English - Date: 2008-02-14 01:37:46
12	PDF Document Add to Reading List Source URL: ad-publications.informatik.uni-freiburg.de Language: English - Date: 2014-07-07 10:30:12 Semantic Web Web services Knowledge representation Knowledge engineering Freebase Triplestore SPARQL Transitive relation Binary relation Resource Description Framework Relation Transitive closure
13	Preliminaries Problem representation Search systems Add to Reading List Source URL: www.atomki.hu Language: English - Date: 2015-04-29 02:58:54 Total order Finitary relation Graph Cartesian product Equivalence relation Transitive closure Mathematics Order theory Binary relation
14	Accelerating Interpolants ⋆ Hossein Hojjat1 , Radu Iosif2 , Filip Koneˇcn´y2,4, Viktor Kuncak1, and Philipp R¨ummer3 1 Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-07-02 15:54:03 Formal methods Abstraction Model theory Predicate transformer semantics Program logic Transitive closure Predicate abstraction Predicate Interpolation Mathematical logic Mathematics Logic
15	Main.VOSScalableInference SPARQL and Scalable Inference on Demand By Orri Erling and Ivan Mikhailov Abstract. This paper discusses integrating inference capabilities into OpenLink Virtuosos SPARQL implementation[1]. Our Add to Reading List Source URL: virtuoso.openlinksw.com Language: English Semantic Web Web services Metadata Computer languages Query languages SPARQL FOAF Transitive closure SPARUL Data management Computing Data
16	Subcubic Algorithms for Recursive State Machines Swarat Chaudhuri Pennsylvania State University University Park, PA 16802, USA Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-03-07 16:10:53 Complexity classes Graph connectivity Reachability Connected component Transitive closure SL FO Configuration graph Connectivity Theoretical computer science Graph theory Mathematics
17	Directed Search for Generalized Plans Using Classical Planners∗ Siddharth Srivastava and Neil Immerman and Shlomo Zilberstein Department of Computer Science University of Massachusetts Amherst Tianjiao Zhang Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Transitive closure Linked list Mathematics Applied mathematics Mathematical logic FO Finite model theory Tree
18	Cache-Friendly Implementations of Transitive Closure* Michael Penner and Viktor K Prasanna University of Southern California (, ) http://advisor.usc.edu overall performance is a difficult Add to Reading List Source URL: research.ac.upc.edu Language: English - Date: 2002-03-20 08:48:02 Computer hardware Computer memory Compiler optimizations CPU cache Cache-oblivious algorithm Lookup table Loop optimization Program optimization Array Computing Cache Central processing unit
19	Counting Affine Calculator and Applications Sven Verdoolaege INRIA Saclay — Île-de-France Parc Club Orsay Universite, ZAC des vignes 4 rue Jacques Monod, 91893 Orsay, France Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2011-03-29 07:21:23 Compiler optimizations Linear algebra Deduction Entailment Logical consequence Metalogic Transitive closure Polytope model FO Mathematics Algebra Logic
20	PDF Document Add to Reading List Source URL: virtuoso.openlinksw.com Language: English Semantic Web Web services Metadata Computer languages Query languages SPARQL FOAF Transitive closure SPARUL Data management Computing Data

UPDATE